PARSE - An AI Planning Assistant for Refactoring SEquences
ثبت نشده
چکیده
We investigate an open issue in refactoring, namely, the ordering of a sequence of refactorings (conflicts and dependencies amongst the refactorings), and propose a novel solution to the problem via the usage of a partial order planner from the field of Artificial Intelligence. We formulate the problem as an AI planning problem and use AI planning algorithms to come up with a suitable plan i.e. a suitable ordering among the different refactorings chosen by the developer. The tool that we develop is called PARSE An AI Planning Assistant for Refactoring SEquences.
منابع مشابه
The Process Specification Language (PSL) Theory and Applications
designed to facilitate correct and complete exchange of process information among manufacturing systems, such as scheduling, process modeling, process planning, production planning, simulation, project management, work flow, and business-process reengineering. We give an overview of the theories within the PSL ontology, discuss some of the design principles for the ontology, and finish with exa...
متن کاملFormal Mathematics on Display: A Wiki for Flyspeck
The Agora system is a prototype “Wiki for Formal Mathematics”, with an aim to support developing and documenting large formalizations of mathematics in a proof assistant. The functions implemented in Agora include in-browser editing, strong AI/ATP proof advice, verification, and HTML rendering. The HTML rendering contains hyperlinks and provides on-demand explanation of the proof state for each...
متن کاملMixed-Initiative Systems for Collaborative Problem Solving
to building intelligent systems that can collaborate naturally and effectively with people. But true collaborative behavior requires an agent to possess a number of capabilities, including reasoning, communication, planning, execution, and learning. We describe an integrated approach to the design and implementation of a collaborative problem-solving assistant based on a formal theory of joint ...
متن کاملPlanning in Dynamic Environments: The DIPART System
Many current and potential AI applications are intended to operate in dynamic environments, including those with multiple agents. As a result, standard AI plan-generation technology must be augmented with mechanisms for managing changing information, for focusing attention when multiple events occur, and for coordinating with other planning processes. The DIPART testbed (Distributed, Interactiv...
متن کاملMixed-Initiative Goal Manipulation
62 AI MAGAZINE ■ Mixed-initiative planning systems attempt to integrate human and AI planners so that the synthesis results in high-quality plans. In the AI community, the dominant model of planning is search. In state-space planning, search consists of backward and forward chaining through the effects and preconditions of operator representations. Although search is an acceptable mechanism to ...
متن کامل